/*
 * conf_scheduler.h
 *
 * Created: 9/4/2011 12:56:46 PM
 *  Author: GrubyGrub
 */ 


#ifndef CONF_SCHEDULER_H_
#define CONF_SCHEDULER_H_

#define TIMER				&AVR32_TC


#define SENSOR_TIMER_COUNT	(sysclk_get_cpu_hz()/8)/1000
#define SENSOR_TIMER_CHANNEL 1
#define SENSOR_TIMER_IRQ_CHANNEL AVR32_TC_IRQ1
#define SENSOR_TIMER_IRQ_LEVEL AVR32_INTC_INT2


#define PRINT_TIMER_COUNT	(sysclk_get_cpu_hz()/128)/25
#define PRINT_TIMER_CHANNEL 2
#define PRINT_TIMER_IRQ_CHANNEL AVR32_TC_IRQ2
#define PRINT_TIMER_IRQ_LEVEL AVR32_INTC_INT3



#endif /* CONF_SCHEDULER_H_ */